Certification Criteria for Emulation Technology in the Australian Defence Force Military Avionics Context
نویسنده
چکیده
Emulation technology promises to provide a means of addressing obsolescence issues in legacy computer processors in the military avionics domains. It has also been suggested that such technology might apply to safety critical and safety related systems in these domains. Numerous companies either have developed or are developing software components that are capable of emulating different legacy computing platforms. The emulators permit the execution of legacy code on newer computing platforms, without change to existing binary executables or data. Subsequent modifications to the legacy code in question may be made using either the legacy development environment and/or with some emulation technologies using a newer development
منابع مشابه
Formal Modelling and Analysis of Mission-Critical Software in Military Avionics Systems
A typical avionics mission system of a military aircraft is a complex real-time system consisting of a mission control computer, different kinds of sensors, navigation and communication subsystems, and various displays and stores; all interconnected by a number of serial data buses. The mission capability is increasingly implemented in the mission-critical software and the robustness of this so...
متن کاملUse of simulation technology in Australian Defence Force resuscitation training.
Realistic training of health personnel for the resuscitation of military casualties is problematic. There are few opportunities for personnel to obtain the necessary experience unless working in a busy emergency or trauma environment. Even so, the specific nature of military trauma means that many aspects of casualty management may not be adequately covered in the civilian domain. This paper di...
متن کاملThe Who, Where, How, Why and When of Modular and Incremental Certification
The Defence Technology Strategy identifies modular and incremental certification as a key enabler to ‘Through-Life Capability Management’ as a means of reducing the impact and hence cost of re-certification of changes to systems. The Ministry of Defence has funded the Industrial Avionics Working Group, an industrial research consortium, to undertake a 'hot research' project investigating the pr...
متن کاملThe Challenges of Software Certification
The safety critical community – those involved in developing and verifying safety critical systems – is very conservative and adverse to change. Meanwhile, technology is changing rapidly, and there is pressure to adapt systems to improve their efficiency and safety. This presents a number of challenges. The community has already addressed some; others are in process. While the guidance on airbo...
متن کاملPaper Number 45
Paper 045 Military Trading ‐ A Personal Perspective DSTL/CP33384 Paper Number 45 Title of Paper ‐ Military Trading ‐ A Personal Perspective Topic ‐ No 4 Collective Endeavors Author ‐ Kate Gill, STUDENT, Defence Science and Technology Laboratory and also full time Systems EngD student at Bristol University POC ‐ Kate Gill Name of Organisation ‐ Defence Science and Technology Laboratory (DST...
متن کامل